Geometric small cancellation
نویسنده
چکیده
منابع مشابه
Carbone Group Cancellation and Resolution
We establish a connection between the geometric methods developed in the combinatorial theory of small cancellation and the propositional resolution calculus. We define a precise correspondence between resolution proofs in logic and diagrams in small cancellation theory, and as a consequence, we derive that a resolution proof is a 2dimensional process. The isoperimetric function defined on diag...
متن کاملFans and Ladders in Small Cancellation Theory
Small cancellation theory and its various generalizations have proven to be powerful tools in the study of infinite groups, particularly for the construction of examples of groups exhibiting specific properties. In this article we derive statements which are similar to but significantly stronger than the usual small cancellation formulations. These stronger results are presented using the notio...
متن کاملDerivation of the Fast Pole - Zero ( ARMA ) Recursive Least Squares Algorithm Using Geometric Projections
The Fast Pole-Zero (ARMA) Recursive Least Squares Algorithm is derived using geometric projections. The new algorithm has a reduced number of computations compared to the algorithm obtained using matrix methods. In particular two inner products are eliminated. This is particularly important in multiprocessor implementations of the algorithm. The geometric approach provides insight and useful in...
متن کاملFull Duplex Operation for Small Cells
Full duplex (FD) communications has the potential to double the capacity of a half duplex (HD) system at the link level. However, FD operation increases the aggregate interference on each communication link, which limits the capacity improvement. In this paper, we investigate how much of the potential doubling can be practically achieved in the resource-managed, small multi-cellular system, sim...
متن کاملGeometric derivation of expectation-maximization and generalized successive interference cancellation algorithms with applications to CDMA channel estimation
The expectation-maximization (EM) algorithm is well established as a computationally efficient method for separable signal parameter estimation. Here, a new geometric derivation and interpretation of the EM algorithm is given that facilitates the understanding of EM convergence properties. Geometric considerations lead to an alternative separable signal parameter estimator based on successive c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012